Games of Daze/Infomagic - Games of Daze (Summer 1995) (Disc 1 of 2).iso/x2ftp/msdos/faq/ai_exprt.128

Internet Message Format | 1995-04-20 | 70KB

Path: bloom-beacon.mit.edu!uhog.mit.edu!nntp.club.cc.cmu.edu!cantaloupe.srv.cs.cmu.edu!mkant
From: [e-mail] (Mark Kantrowitz)
Newsgroups: comp.ai,comp.ai.shells,news.answers,comp.answers
Subject: FAQ: Expert System Shells 1/1 [Monthly posting]
Supersedes: <[e-mail]>
Followup-To: poster
Date: 13 Mar 1995 08:04:10 GMT
Organization: School of Computer Science, Carnegie Mellon University
Lines: 1257
Approved: [e-mail]
Distribution: world
Expires: 24 Apr 1995 08:00:33 GMT
Message-ID: <[e-mail]>
Reply-To: [e-mail]
NNTP-Posting-Host: glinda.oz.cs.cmu.edu
Keywords: Expert Systems, RETE, OPS
Xref: bloom-beacon.mit.edu comp.ai:14348 comp.ai.shells:1375 news.answers:36922 comp.answers:10600

Archive-name: ai-faq/expert/part1
Last-Modified: Thu Mar  9 20:50:52 1995 by Mark Kantrowitz
Version: 1.28
Maintainer: Mark Kantrowitz <[e-mail]>
URL: http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/expert/part1/faq.html
Size: 69144 bytes, 1266 lines

;;; ****************************************************************
;;; Expert System Shells *******************************************
;;; ****************************************************************
;;; Written by Mark Kantrowitz
;;; expert_1.faq

This post contains the Expert System Shells FAQ.

If you think of questions that are appropriate for this FAQ, or would
like to improve an answer, please send email to us at [e-mail].

CONTRIBUTIONS to this summary should be sent to [e-mail].
Companies wishing to expand their entries should send product
summaries no longer than the RTworks or CLIPS entries, and should
focus on features and facts. Hype and vague generalizations will be removed.

*** Copyright:

Copyright (c) 1992-95 by Mark Kantrowitz. All rights reserved.

This FAQ may be freely redistributed in its entirety without
modification provided that this copyright notice is not removed.  It
may not be sold for profit or incorporated in commercial documents
(e.g., published for sale on CD-ROM, floppy disks, books, magazines,
or other print form) without the prior written permission of the
copyright holder.  Permission is expressly granted for this document
to be made available for file transfer from installations offering
unrestricted anonymous file transfer on the Internet.

If this FAQ is reproduced in offline media (e.g., CD-ROM, print form,
etc.), a complimentary copy should be sent to Mark Kantrowitz, School
of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue,
Pittsburgh, PA 15213-3891 USA.

This article is provided AS IS without any express or implied warranty.

*** Recent changes:

;;; 1.27:
;;; 26-JAN-95 mk    Updated VP-Expert entry, thanks to Becky Thomas.
;;;
;;; 1.28:
;;;  9-MAR-95 mk    Graham Spence sent mail to every company on the list, and
;;;                 reported all the "Return to Sender" responses.
;;;                 The following entries have been updated: Wordtech Systems.
;;;                 The following entries have been deleted: ExperTelligence
;;;                 (Exper-OPS5-Plus), Hyperpress Publishing (INTELLIGENT
;;;                 DEVELOPER), AI Technologies (MERCURY KBE), Human Intellect
;;;                 Systems (Instant-Expert Plus), and Peridom (COGNATE).
;;;  9-MAR-95 mk    Updated entry on Dennis Merritt's book, Building Expert
;;;                 Systems, to include pointer to the source code.
;;;  9-MAR-95 mk    Updated LEVEL5 entry.
;;;  9-MAR-95 mk    Added MEM-1 entry.

*** Topics Covered:

  [1-1]  Introduction
  [1-2]  Other Sources of Information
  [1-3]  Bibliography of Expert Systems books, introductions,
         documentation, periodicals, and conference proceedings.
  [1-4]  Note about 'Real-Time' expert systems
  [1-5a] Free/Cheap Expert System Shells
  [1-5b] Free/Cheap Expert System Shells: CLIPS and Related Systems
  [1-6]  Commercial Expert System Shells
  [1-7]  Associations
  [1-8]  Glossary
  [1-A]  Acknowledgements

Search for [#] to get to question number # quickly.

----------------------------------------------------------------
Subject: [1-1]  Introduction

Certain questions and topics come up frequently in the various network
discussion groups devoted to and related to Expert Systems. This
file/article is an attempt to gather these questions and their answers
into a convenient reference for AI researchers, students, and
practitioners. It is posted on a monthly basis. The hope is that this
will cut down on the user time and network bandwidth used to post,
read and respond to the same questions over and over, as well as
providing education by answering questions some readers may not even
have thought to ask.

Currently this FAQ is a primarily a list of free and commercial expert
system shells, but other questions and answers will be added as they
arise.

The latest version of this file is available by anonymous FTP from
   ftp.cs.cmu.edu:/user/ai/pubs/faqs/expert/expert_1.faq  [128.2.206.173]
using username "anonymous" and password "name@host" (substitute your
email address) or via AFS in the Andrew File System directory
   /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/expert/expert_1.faq

You can also obtain a copy of the FAQ by sending a message to
[e-mail] with
   Send ESS FAQ
in the message body.

The FAQ postings are also archived in the periodic posting archive on
   rtfm.mit.edu:/pub/usenet/news.answers/ai-faq/expert/ [18.181.0.24]
If you do not have anonymous ftp access, you can access the archive by
mail server as well.  Send an E-mail message to [e-mail]
with "help" and "index" in the body on separate lines for more
information.

An automatically generated HTML version of this FAQ is accessible by
WWW as part of the AI-related FAQs Mosaic page. The URL for this
resource is
   http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/top.html
The direct URL for the Expert Systems FAQ is
   http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/expert/top.html

If you need to cite the FAQ for some reason, use the following format:
   Mark Kantrowitz, "Answers to Frequently Asked Questions about
   Expert System Shells", comp.ai.shells, <month>, <year>,
   ftp.cs.cmu.edu:/user/ai/pubs/faqs/expert/expert_?.faq,
   [e-mail].

----------------------------------------------------------------
Subject: [1-2]  Other Sources of Information

In addition to the free expert system shells listed below, the Prolog
Resource Guide lists a variety of Prolog implementations and products.
In addition to being backward-chaining systems, many Prolog
implementations provide support for forward-chaining rules and other
expert systems requirements. For example, Amzi! Inc. sells Dennis
Merritt's book, "Building Expert Systems in Prolog", Springer-Verlag,
1989, for $52 (see entry in bibliography below).

The July/August 1992 issue of PC AI magazine includes their annual
product guide for expert systems and related tools. AI Expert Magazine
publishes an "Expert Systems Resource Guide" once per year, usually in
April.

The February 1991 issue of IEEE Computer has an article about Expert
System Tools. Another article of possible interest is "Selection
Criteria for Expert System Shells: A Socio-Technical Framework", by
Anthony C. Stylianou, Gregory R. Madey, and Robert D.  Smith, CACM
35(10):30-48, October 1992.

The AI FAQ contains pointers to other resources that may be of
interest to readers of this FAQ. If you can't find the information
you're looking for here, try looking in the AI FAQ. The AI FAQ is
posted monthly to the newsgroup comp.ai and is also available from the
anonymous ftp locations mentioned above.

----------------------------------------------------------------
Subject: [1-3] Bibliography of Expert Systems books, introductions,
               documentation, periodicals, and conference proceedings.

This section contains a list of key references and introductions about
Production Systems, Expert Systems, and Match Algorithms. For other
AI-related books, see part 4 of the AI FAQ.

Overviews and Texts:

   Bruce G. Buchanan and Edward H. Shortliffe, "Rule-Based Expert
   Systems: The MYCIN Experiments of the Stanford Heuristic Programming
   Project", Addison-Wesley, Reading, MA, 1985. The Davis and King
   paper (chapter 4, "An overview of production systems") provides
   a good overview.

   Frederick Hayes-Roth, "The knowledge based expert system: A tutorial",
   IEEE Computer 17(9):11-28, 1984.

   Bruce G. Buchanan and R.O. Duda, "Principles of Rule-Based Systems",
   Tech Report HPP-82-14, 1982. (Discusses the design of expert
   systems, including representation, inference, and uncertainty
   management. Examples from numerous specific systems, and discusses
   which problems are suitable for attack by rule-based systems.)

   Joseph Giarratano and Gary Riley, "Expert Systems Principles and
   Practice", PWS Publishing (20 Park Plaza, Boston, MA 02116-4324
   1-800-842-3636, 1-617-542-3377, fax [phone]), 1993, 644
   pages, ISBN 0-534-93744-6, $53.94.
     [This is the second edition of "Expert Systems: Principles and
      Programming" and comes with an MS-DOS CLIPS 6.0 interpreter. The
      book includes a good tutorial on using CLIPS.]

   James P. Ignizio, "Introduction to Expert Systems: The Development
   and Implementation of Rule-Based Expert Systems", McGraw-Hill,
   1991. 402 pages, ISBN 0-07-909785-5 ($37.50). [Focuses on the
   building of the knowledge-base model and its proper implmentation
   from a decision-making perspective. Also covers knowledge
   acquisition, inference, and validation. Especially good for
   students in fields besides computer science, such as business,
   engineering, and the social sciences. There are exercises at the
   end of every chapter. Clear and concise explanations with good
   examples. Also provides an introduction to EXSYS with an EXSYS demo disk.]

   Samuel J. Biondo, "Fundamentals of Expert Systems Technology:
   Principles and Concepts", Ablex, Norwood, NJ, 1990. 160 pages, ISBN
   0-89391-701-X paper ($35).

   Dennis Merritt, "Building Expert Systems in Prolog", Springer-Verlag, 1989.
   358 pages, ISBN 0-387-97016-9 hardcover ($52).
   Explains how to build various expert system shells in Prolog, including
   forward/backward chaining, FOOPS, rete-network, frames, solving
   Rubik's cube and more. Includes complete source code listings.
   (Source code from the book is also sold on disk by Amzi! Inc. and
   is available by anonymous FTP from
      ftp.std.com:/ftp/vendors/amzi/programs/
      ftp.cs.cmu.edu:/user/ai/areas/expert/systems/amzi/programs/
   as the files xsip.*)

   David Hu, "C/C++ for Expert Systems", Management Information
   Source, Portland, OR, 1989. 565 pages, ISBN 0-943518-86-5 ($24.95).
   [Includes a diskette of source code from the book.]

General AI books with extensive coverage of expert systems:

   Firebaugh, Morris W., "Artificial Intelligence: A Knowledge-Based
   Approach", PWS-Kent, Massachusetts, 1989.  ISBN 0-87835-325-9

OPS5:

   Charles L. Forgy, "OPS5 User's Manual", Technical Report
   CMU-CS-81-135, Carnegie Mellon University, School of Computer
   Science, Pittsburgh, PA 1981.

   Thomas Cooper and Nancy Wogrin, "Rule-based Programming with OPS5",
   Morgan Kaufmann Publishers, 1988, ISBN 0-934613-51-6, $49.95.

Match Algorithms:

   RETE:
      Charles L. Forgy, "RETE: A fast algorithm for the many
      pattern/many object pattern match problem", Artificial
      Intelligence 19(1):17-37, September 1982.

   TREAT:
      Daniel P. Miranker, "TREAT: A better match algorithm for AI
      production systems". In Proceedings of the Sixth National
      Conference on Artificial Intelligence (AAAI-87), pages 42-47,
      August 1987.

      Daniel P. Miranker, "TREAT: A New and Efficient Match Algorithm
      for AI Production Systems", Morgan Kaufmann Publishers, 1990,
      143 pages, ISBN 0-934613-71-0, $29.95.

   MatchBox:
      Mark Perlin, "The match box algorithm for parallel production
      system match", Technical Report CMU-CS-89-163, Carnegie Mellon
      University, School of Computer Science, Pittsburgh,
      Pennsylvania, May 1989.

   DRETE:
      Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE
      on CUPID for OPS5 matching", in Proceedings of the Eleventh
      International Joint Conference on Artificial Intelligence (IJCAI-89),
      pages 84-90, Detroit MI, August 1989, Morgan Kaufmann Publishers.

Journals -- Expert Systems:

   EXPERT SYSTEMS WITH APPLICATIONS
   Published 4 times annually. ISSN 0957-4174.
   Subscriptions: Institutions L85 ($155), Individuals L45 ($72).
   Pergamon Press Inc., 660 White Plains Road, Tarrytown, NY 10591-5153,
   email [e-mail], or Pergamon Press Ltd., Headington Hill Hall,
   Oxford OX3 0BW, England.

   EXPERT SYSTEMS: THE INTERNATIONAL JOURNAL OF KNOWLEDGE ENGINEERING
   Published 4 times annually. ISSN 0266-4720.
   Subscriptions: L85 ($110)
   Learned Information Ltd., Woodside, Hinksey Hill, Oxford OX1 5AU, UK.
   Tel: [phone]  Fax: [phone]

   INTERNATIONAL JOURNAL OF EXPERT SYSTEMS
   Published 4 times annually. ISSN 0894-9077.
   Subscriptions: Institutions $135; Individuals $75. Outside the US add
   $10 for surface mail and $20 for airmail.
   JAI Press Inc., 55 Old Post Road -- No. 2, PO Box 1678, Greenwich, CT
   06836-1678.

   KNOWLEDGE ENGINEERING REVIEW
   Published quarterly, ISSN 0269-8889.
   In the UK: Cambridge University Press, The Edinburgh Building,
   Cambridge CB2 1BR, UK.
   In N. America: Cambridge University Press, Journals Department, 40 West
   20th Street, New York, NY 10011-4211.

   INTERNATIONAL JOURNAL OF APPLIED EXPERT SYSTEMS (IJAES)
   Published three times annually. ISSN 0969-9317
   Subscriptions: BP60.00/US$117.00.
   Taylor Graham Publishing, 500 Chesham House, 150 Regent Street,
   London W1R 5FA UK.
   Editor: Alan Sangster <[e-mail]>
   URL: http://www.abdn.ac.uk/~acc025/ijaes.html

----------------------------------------------------------------
Subject: [1-4] Note about 'Real-Time' expert systems

Many "real-time" expert systems are 'soft' real-time systems, in that
they claim to be fast. A 'hard' real-time system would have features
that guarantee a response within a fixed amount of real-time (e.g.,
bounded computation, not just a fast match-recognize-act cycle).
Systems like G2 use event-driven processing (restricting certain rules
to execute only when specific WM elements change in a particular way)
as a method of limiting forward chaining.

----------------------------------------------------------------
Subject: [1-5a] Free/Cheap Expert System Shells

Remember, when ftping compressed or compacted files (.Z, .gz, .arc, .fit,
etc.) to use binary mode for retrieving the files.

Files that end with a .gz suffix were compressed with the patent-free
gzip (no relation to zip). Source for gzip is available from:
  prep.ai.mit.edu:pub/gnu/{gzip-1.2.3.shar,gzip-1.2.3.tar,gzip-1.2.3.msdos.exe}

If you do not have ftp access, you can FTP files by E-mail. Send a
message with the word "help" in the body to [e-mail].


FOCL is an expert system shell and machine learning program written in
Common Lisp. The machine learning program extends Quinlan's FOIL
program by containing a compatible explanation-based learning
component.  FOCL learns Horn Clause programs from examples and
(optionally) background knowledge. The expert system includes a
backward-chaining rule interpreter and a graphical interface to the
rule and fact base. For details on FOCL, see: Pazzani, M. and Kibler,
D., "The role of prior knowledge in inductive learning", Machine
Learning 9:54-97, 1992. It is available by anonymous ftp from
   ics.uci.edu:/pub/machine-learning-programs/
as the files README.FOCL-1-2-3, FOCL-1-2-3.cpt.hqx (a binhexed,
compacted Macintosh application), FOCL-1-2-3.tar.Z (Common Lisp
source code), and FOCL-1-2-3-manual.hqx (binhexed manual).  If you
use a copy of FOCL, or have any comments or questions, send mail to
[e-mail].

SOAR      -- ftp.cs.cmu.edu:
          /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
          /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
        Contact: [e-mail]
        Integrated Agent Architecture. Supports learning through chunking.

OPS5      -- ftp.cs.cmu.edu:/user/ai/areas/expert/systems/ops5/ops5.tar.gz

BABYLON is a development environment for expert systems. It
includes frames, constraints, a prolog-like logic formalism, and a
description language for diagnostic applications. It is implemented in
Common Lisp and has been ported to a wide range of hardware platforms.
Available by anonymous ftp from
   ftp.gmd.de:/gmd/ai-research/Software/Babylon/ [129.26.8.84]
as a BinHexed stuffit archive, on the Web via the URL
   http://www.gmd.de/
on the Apple CD-ROM, or with the book "The AI Workbench BABYLON",
which contains *full source code* of BABYLON and the stand-alone
version for the Mac. The book describes the use of BABYLON in detail.

MOBAL is a system for developing operational models of application
domains in a first order logic representation. It integrates a manual
knowledge acquisition and inspection environment, an inference engine,
machine learning methods for automated knowledge acquisition, and a
knowledge revision tool.  By using MOBAL's knowledge acquisition
environment, you can incrementally develop a model of your domain in
terms of logical facts and rules.  You can inspect the knowledge you
have entered in text or graphics windows, augment the knowledge, or
change it at any time. The built-in inference engine can immediately
execute the rules you have entered to show you the consequences of
your inputs, or answer queries about the current knowledge. MOBAL also
builds a dynamic sort taxonomy from your inputs. If you wish, you can
use several machine learning methods to automatically discover
additional rules based on the facts that you have entered, or to form
new concepts. If there are contradictions in the knowledge base due to
incorrect rules or facts, there is a knowledge revision tool to help
you locate the problem and fix it.  MOBAL (release 3.0b) is available
free for non-commercial academic use by anonymous ftp from
   ftp.gmd.de:/gmd/mlt/Mobal/
The system runs on Sun SparcStations, SunOS 4.1, and includes a
graphical interface implemented using Tcl/TK.

MIKE (Micro Interpreter for Knowledge Engineering) is a full-featured,
free, and portable software environment designed for teaching purposes
at the UK's Open University.  It includes forward and backward
chaining rules with user-definable conflict resolution strategies, and
a frame representation language with inheritance and 'demons' (code
triggered by frame access or change), plus user-settable inheritance
strategies.  Automatic 'how' explanations (proof histories) are
provided for rule exectuion, as are user-specified 'why' explanations.
Coarse-grained and fine-grained rule tracing facilities are provided,
along with a novel 'rule graph' display which concisely shows the
history of rule execution.  MIKE, which forms the kernel of an Open
University course on Knowledge Engineering, is written in a
conservative and portable subset of Edinburgh-syntax Prolog, and is
distributed as non-copy-protected source code. MIKE version 1 was
described in the October/November 1990 issue of BYTE. MIKE v1.50,
which was formerly available from a range of ftp servers, has been
superseded by two newer versions: MIKEv2.03, a full Prolog source code
version, incorporating a RETE algorithm for fast forward chaining, a
truth maintenance system, uncertainty handling, and hypothetical
worlds, and MIKEv2.50, a turnkey DOS version with menu-driven
interface and frame- and rule-browsing tools, fully compatible with
MIKEv2.03, but without source code.  They are available by anonymous
ftp from hcrl.open.ac.uk [137.108.81.16] as the files
   MIKEv2.03: /pub/software/src/MIKEv2.03/*
   MIKEv2.50: /pub/software/pc/MIKEV25.ZIP
They are also available from the CMU AI Repository.
For further information, please contact Marc Eisenstadt,
[e-mail], Human Cognition Research Lab, The Open
University, Milton Keynes MK7 6AA, UK, phone [phone], fax +44
908-65-3169.

ES: The October/November 1990 issue of BYTE also described the ES
expert system. ES supports backward/forward chaining, fuzzy set
relations, and explanation, and is a standalone executable for
IBM-PCs. ES is available by anonymous ftp from
ftp.uu.net:/pub/ai/expert-sys/ [192.48.96.9] as summers.tar.Z.
ftp.uu.net is mirrored on unix.hensa.ac.uk [129.12.21.7] under
/pub/uunet/.

GEST (Generic Expert System Tool) Version 4.0 is a flexible expert
system shell applicable to a variety of problem domains.  Its
knowledge representation schemes include facts, frames, rules, and
procedures.  It supports forward and backward inferencing with
multiple options for each and message handling for frame objects.
There is a time system to support an event history and reverting back
to a previous state.  In addition, there is support for fuzzy logic
and certainty factor maintenance.  Features new to V4.0 include a
blackboard architecture (single level and hierarchical) with a control
module and knowledge sources.  The user interface utilizes the
Symbolics windowing system and is menu and mouse driven.  GEST can be
embedded in a user program (with or without the GEST user interface)
by using a library of function calls.  The printed reference manual
includes a tutorial, table of contents, and thorough index.  GEST runs
only on Symbolics Lisp Machines, Genera 7.2.  GEST users are expected
to be familiar with Symbolics machines.  Source and object files are
available by anonymous ftp to ftp.gatech.edu in the (binary) file
pub/ai/gest.tar.Z.  Register your copy with John Gilmore, Georgia Tech
Research Institute, ITL/CSITD 0800, Atlanta, GA 30332, USA, Internet:
[e-mail].  Send your name, address, organization,
phone number, and Internet email address.  To request a free printed
copy of the GEST manual (not in the distribution file), please also
contact John Gilmore.  Users are free to produce as many copies of the
GEST Reference Manual as they require without any restrictions.

WindExS (Windows Expert System) is a fully functional Windows-based
forward chaining expert system. Its modular architecture allows the
user to substitute new modules as required to enhance the capabilites
of the system. WindExS sports Natural Language Rule Processor,
Inference Engine, File Manager, User Interface, Message Manager and
Knowledge Base modules. It supports forward chaining, and graphical
knowledge base representation. Write [e-mail] for documentation
and operational system.

RT-Expert is a shareware expert system that lets C programmers
integrate expert systems rules into their C or C++ applications.
RT-Expert consists of a rule-compiler that compiles rules into C code,
and a library containing the rule execution engine. RT-Expert for DOS
works with Borland Turbo C, Borland C++, and Microsoft C/C++
compilers. The personal edition is licensed for educational, research,
and hobby use. Applications created with RT-Expert personal edition
are not licensed for commercial purposes. Professional editions are
available for commercial applications using DOS, Windows, and Unix
environments. RT-Expert is available by anonymous ftp from
   world.std.com:/vendors/rtis/rtexpert
For more information, write to Real-Time Intelligent Systems Corporation
<[e-mail]>.

----------------------------------------------------------------
Subject: [1-5b] Free/Cheap Expert System Shells: CLIPS and Related Systems

CLIPS 6.0 (C Language Integrated Production System) is an OPS-like
forward chaining production system written in ANSI C by NASA. The
CLIPS inference engine includes truth maintenance, dynamic rule
addition, and customizable conflict resolution strategies.  CLIPS,
including the runtime version, is easily embeddable in other
applications.  CLIPS includes an object-oriented language called COOL
(CLIPS Object-Oriented Language) which is directly integrated with the
inference engine.  CLIPS runs on many platforms including IBM PC
compatibles (including Windows 3.1 and MS-DOS 386 versions),
Macintosh, VAX 11/780, Sun 3/260, and HP9000/500.  CLIPS is available
from COSMIC at a "nominal" fee (the MS-DOS/Windows 3.1 version $350
for the software and $115 more for the documentation, with discounts
for US academic institutions; for update orders $100 and $200,
respectively) for unlimited copies with no royalties.  (CLIPS is
available free to NASA, USAF, and their contractors for use on NASA
and USAF projects.)  For more information, send email to
[e-mail], write COSMIC, University of Georgia,
382 East Broad Street, Athens, GA 30602, call 706-542-3265, or fax
706-542-4807. To subscribe to the CLIPS mailing list, send a message
to the list server
   [e-mail] (128.192.14.4)
with message body
   SUBSCRIBE CLIPS-LIST
The CLIPS help desk phone number is 713-286-8919 (fax [phone]-5698)
and email address is [e-mail]. (The address is STB
Products Help Desk, LinCom Corporation, 1020 Bay Area Boulevard, #200,
Houston, TX 77058-2628.) The Software Technology Branch's home page is
   http://www.jsc.nasa.gov/stb/STB_homepage.html
NASA Information Services's home page is
   http://hypatia.gsfc.nasa.gov/NASA_homepage.html
and the CLIPS home page is
   http://www.jsc.nasa.gov/~clips/CLIPS.html
[Note: Folks who obtain CLIPS from COSMIC can do anything they wish
with it, including redistribute it.  Folks who obtain CLIPS directly
from NASA are restricted to using it for US government purposes only.]
The CLIPS FAQ list and bug fixes are available from
   hubble.jsc.nasa.gov:/pub/clips/
and are maintained by Gary Riley <[e-mail]>.
Joseph Giarratano and Gary Riley's book, "Expert Systems Principles
and Practice", comes with an MS-DOS CLIPS 6.0 interpreter (see [1-3]
above). CLIPS is also available on the various AI CD-ROMs, and the
MS-DOS version is available for $50 from Austin Code Works <[e-mail]>,
11100 Leafwood Lane, Austin, Texas 78750-3409, phone [phone],
fax [phone], or BBS 512-258-8831.

DYNACLIPS (DYNAamic CLIPS Utilities), is a set of blackboard, dynamic
knowledge exchange, and agent tools for CLIPS 5.1 and 6.0.  It is
implemented as a set of libraries that can be linked with CLIPS 5.1 or
CLIPS 6.0. Versions 3.0 and 3.1 will work with either CLIPS 5.1 or CLIPS 6.0.
Source code is not available. Agents use the blackboard to
communicate with other intelligent agents in the framework.  Each
intelligent agent can send and receive facts, rules, and commands.
Rules and facts are inserted and deleted dynamicly while the agents
are running. Knowledge can be transfered on a temporary or permanent
basis. For more information, please contact Yilmaz Cengeloglu, PO Box
4142, Winter Park, FL 32793-4142, or send email to
[e-mail], [e-mail] or [e-mail].
It is available from the CMU AI Repository in
   ftp.cs.cmu.edu:/user/ai/areas/expert/systems/clips/dyna/

FuzzyCLIPS 6.02 is a version of the CLIPS rule-based expert system
shell with extensions for representing and manipulating fuzzy facts
and rules. In addition to the CLIPS functionality, FuzzyCLIPS can deal
with exact, fuzzy (or inexact), and combined reasoning, allowing fuzzy
and normal terms to be freely mixed in the rules and facts of an
expert system. The system uses two basic inexact concepts, fuzziness
and uncertainty. Versions are available for UNIX systems, Macintosh
systems and PC systems. There is no cost for the software, but please
read the terms for use in the FuzzyCLIPS documentation. FuzzyCLIPS is
available via WWW (World Wide Web). It can be accessed indirectly
through the Knowledge Systems Lab Server using the URL
   http://ai.iit.nrc.ca/home_page.html
or more directly by using the URL
   http://ai.iit.nrc.ca/fuzzy/fuzzy.html
or by anonymous ftp from
   ai.iit.nrc.ca:/pub/fzclips/
For more information about FuzzyCLIPS send mail to [e-mail].

wxCLIPS provides a simple graphical front end to CLIPS 5.1, and in
addition contains a suite of extra functions for creating GUI
applications in CLIPS. wxCLIPS is available as Sun Open Look, Sun
Motif, Linux Open Look, and Windows 3.1 binaries.  wxCLIPS is
available by anonymous FTP from
   skye.aiai.ed.ac.uk:/pub/wxclips/ [192.41.104.6]
or the URL
   http://www.aiai.ed.ac.uk/~jacs/wxclips/wxclips.html
To be added to the wxclips-users or wxclips-announce mailing lists,
send mail to [e-mail].
For more information, write to Julian Smart <[e-mail]>.

----------------------------------------------------------------
Subject: [1-6] Commercial Expert System Shells

The commercial products below are listed in alphabetical order.

ACQUIRE is knowledge acquisition system and expert system shell. It is a
complete development environment for building and maintaining
knowledge-based applications. It provides a step-by-step methodology for
knowledge engineering that allows the domain experts themselves to be
directly involved in structuring and encoding the knowledge. (The direct
involvement of the domain expert improves the quality, completeness and
accuracy of acquired knowledge, lowers development and maintenance
costs, and increases their control over the form of the software
application.) Features include a structured approach to knowledge
acquisition; a model of knowledge acquisition based on pattern
recognition; knowledge represented as objects, production rules and
decision tables; handling uncertainty by qualitative, non-numerical
procedures; extremely thorough knowledge bases; sophisticated report
writing facilities; and self documenting knowledge bases in a hypertext
environment.  There are two options for delivering your knowledge-based
application to end users:
   1) a Run Time System ACQUIRE-RTS for delivering stand-alone
      applications and
   2) a Software Development Kit, ACQUIRE-SDK for embedding finished
      applications seamlessly with your other software.
The ACQUIRE development package (knowledge acquisition system and expert
system shell) costs $995 for Windows 3.1 and includes manual, a
tutorial, on-line help and telephone helpline.  For more information
contact Acquired Intelligence Inc, Suite 205, 1095 McKenzie Avenue,
Victoria, Canada V8P 2L5, call 604-479-8646, fax [phone], or send
email to Bev Smith <[e-mail]>.

ACTIVATION FRAMEWORK runs on personal computers (DOS, Windows) and UNIX
workstations.  This tool is not a traditional expert system shell,
rather is a tool for building real-time data interpretation
applications.  The vendor claims the tool competes with Gensym's G2 in
terms of application domains. For more information, write to the sales
office at The Real-Time Intelligent Systems Corporation, 26 Worthen,
Chelmsford, MA 01824, call 508-250-4633, or fax [phone]. To reach
the development office write to 76 Otis Street, Westborough, MA 01581,
call 508-870-0043, fax [phone], or send email to [e-mail].

Aion Development System (ADS) runs on numerous platforms, including
DOS, OS/2, SunOS, Microsoft Windows, and VMS.  It includes an object
oriented knowledge representation, forward, backward, bidirectional,
and pattern matching rules, graphics, calls to/from other languages
(C, Pascal, ...), and the Choreographer graphical user interface. For
more information, write to Aion Corporation, 101 University Avenue,
Palo Alto, CA 94301, call 800-845-2466 (415-328-9595), or fax
415-321-7728.  For Europe, write to Software Generation,
Kontichsesteenweg 40, B 2630 Aartselaar, Belgium, call
32-(0)3-877.12.93, or fax [phone]

AIM 801 (Abductive Information Modeler). Runs on DOS ($199) or Windows
($1,495) and produces royalty-free C code. For more information, write
to Abtech Corporation, 1575 State Farm Boulevard, Charlottesville, VA
22901, call 804-977-0686, or fax [phone].

Angoss Knowledge Seeker. Angoss is a data-mining tool that can be used
to produce knowledge bases of rules by infering cause and effect
relationships from a database. The DOS version costs $799 and the
Windows version $899. For more information, write to Angoss Software
International Ltd., 430 King Street W., Suite 201, Toronto M5V 1J5,
Canada, call 416-593-1122, or fax [phone].

ART*Enterprise and CBR Express (Inference Corporation). ART*Enterprise
is the latest of the family of rule-based development environments
originating with ART in the mid-1980s. It is a development environment
for enterprise- wide applications, incorporating rules, a full object
system which includes features currently not present in C++, and a large
collection of object classes for UI development across platforms (from
Windows to NT to OS/2 to Unix), access to databases (SQL-based and
Q+E-based), and multi-person development. The ART*Enterprise environment
provides a forward chaining engine where backward chaining can be
implemented, though it is not supported directly. CBR Express family of
products supports case-based retrieval of information. The CBR
technology is available as part of ART*Enterprise for those who are
interested in incorporating it into their applications. For further
information contact Inference Corporation, 550 N. Continental Blvd., El
Segundo, CA 90245, call 800-322-9923 (310-322-0200), fax [phone],
or email [e-mail].

Arity Expert Development Package is an expert system that integrates
rule-based and frame-based representations of knowledge with several
different kinds of certainty factors. The OS/2 version costs $495 and
the DOS version $295. For more information, write to Arity Corporation,
Damonmill Square, Concord, MA 01742, call 800-722-7489 (508-371-1243),
fax [phone], or send email to [e-mail] or Paul G.
Weiss <[e-mail]>.

BABYLON. For more information, write to VW-GEDAS GmbH, Pascalstrasse
11, W-1000 Berlin 10, call [phone], or fax [phone].

CAM Software sells two expert system tools, DClass and LogicTree.
DClass is a decision-tree system used for manufacturing applications.
LogicTree is a decision-making system designed for non-programmers.
For more information, write to CAM Software, 390 W. 800 N., Suite 103,
PO Box 276, Orem, UT 84059-0276, call 800-293-6777, or fax [phone].

CBR Express. See entry for ART*Enterprise.

COGSYS. For more information, write to COGSYS Ltd., Enterprise House,
Unit 37, Salford University Business Park, Salford M6 6AJ, England, or
call 061-745-7604.

COMDALE. Comdale is an expert system tool for process control. For
more information, write to Comdale Technologies Inc., 701 Evans
Avenue, Suite 600, Toronto, Ontario, CANADA M8Z 5Z1, call
416-620-1234, or fax [phone].

C-PRS (Procedural Reasoning System in C) aims at representing and
executing operating procedures. It allows the user to express and
represent the conditional sequences of complex operations and to
ensure their execution in real time while embedded in the application
environment.  C-PRS is useful for process control and supervision
applications.  The PRS technology has been applied to different tasks
with real-time constraints and demands including the monitoring of
several subsystems of the NASA space shuttle, the diagnosis and
supervision of telecommunication networks (Telecom Australia), the
control of mobile robots (SRI, LAAS), the control system of
surveillance aircrafts (Grumman) and air traffic management (Civil
Aviation Authority).  The procedural reasoning technology was
initially developed at the Artificial Intelligence Center of the
Stanford Research Institute (Menlo Park, California).  ACS
Technologies has further developed and now markets C-PRS, the first
commercial implementation of the Procedural Reasoning technology.
C-PRS was developed with the most currently recognized standards: C,
UNIX, X11, MOTIF. It guarantees some real time properties. It is
available on numerous platforms and operating systems, including
SPARC, DECstation, Sony News, Hewlett Packard, VxWorks, and others.
For more information write to ACS Technologies, 5, Place du Village
d'Entreprises, B.P. 556 31674 LABEGE Cedex, FRANCE, call
33-62-24-99-20, fax [phone], or send email to Felix Ingrand
<[e-mail]>.

CRYSTAL runs on personal computers and is available from Intelligent
Environemnts. For more information, write to Intelligent Environments
Europe Ltd., Crystal House, PO Box 51, Sunbury-on-Thames, Middlesex TW16
7UL, England, call 44-0-932-772266, or fax [phone].
See PC Magazine 8(2), January 31, 1989.

CxPERT is an expert system shell that produces royalty-free C code. For
more information, write to Software Plus Ltd., 1315 Pleasant Meadow
Road, Crofton, MD 21114, or call 301-261-0264.

The Easy Reasoner (TM) is a Case-Based Retrieval (CBR) tool with
Reasoning that provides an adaptive associative memory; retrieves
similar cases from memory given a new case; extends Query-by-Example
(QBE) by providing Query-by-Similarity(TM) (QBS); indexes existing
databases using decision trees; supports xBase, ODBC, and SQL
databases; maximizes information while minimizing complexity;
automatically filteres noise to simplifies decision trees; induces
automatically or under explicit control; ranks and retrieves
classified cases by similarity; efficiently retrieves similar cases
from large databases; efficiently retrieves most similar case from
large DBs; efficiently retrieves "next most similar" case; supports
multiple decision tree indices per database; supports multiple
decision trees per field; classifies new information using any
decision tree; automatically or interactively classifies new cases;
handles missing data and "don't know" responses; provides customizable
thesaurus for nominal fields; provides adaptive, context-sensitive,
default reasoning; provides adaptive estimation using decision trees;
predicts or ranks values for nominal or ordinal fields; automatically
learns N-dimensional similarity spaces; quickly retrieves closest case
from similarity space; ranks cases by distance in similarity space;
retrieves records where similarity depends on text; circumvents
spelling problems with N-M-grams; recognizes various forms of English
dictionary words; automatically determines information content per
word; automatically determines thesaural information content. Easy
Reasoner. The Easy Reaoner 16 bit Windows Toolkit costs $249, The Easy
Reaoner 32 bit Windows Toolkit costs $499, The Easy Reasoner OS/2
Toolkit costs $499, and The Easy Reasoner UNIX X/Motif Toolkit costs
$999.  UNIX Versions available for Sun OS, Sun Solaris, HP UX, Data
General, AIX.  For more information, write to The Haley Enterprise,
Inc., 413 Orchard Street, Sewickley, PA 15143, call 800-233-2622
(412-741-6420), fax [phone], or send email to [e-mail].

ECLIPSE runs on personal computers (DOS, Windows). System V Unix and
POSIX versions are also available. The syntax is derived from
Inference Corporations' ART and is compatible with NASA's CLIPS.
Features include data-driven pattern matching, forward and backward
chaining, truth maintenance, support for multiple goals, relational
and object-oriented representations, and integration with dBase. For
more information, write to The Haley Enterprise, Inc., 413 Orchard
Street, Sewickley, PA 15143, call 800-233-2622 (412-741-6420), fax
412-741-6457, or send email to [e-mail].  See also IEEE
Computer, February 1991, pages 19-31. The cost is $499 for the Eclipse
16 bit Windows Toolkit, $999 for Eclipse 32 bit Windows Toolkit or
Eclipse OS/2 Toolkit, and $1,999 for Eclipse UNIX X/Motif Toolkit.
Versions are available for Sun OS, Sun Solaris, HP UX, Data General, AIX.

Emerald Empower Procedural Advisor for Macintosh or PC Windows.  $6800
Fault trees are built graphically to automate the decision path that an
expert uses for troubleshooting a problem.  Emerald Intelligence, Inc,
3850E Research Park Dr, Ann Arbor, MI 48108, call 313-663-8757, or fax
313-663-8757.

Esteem is a case-based reasoning tool for Windows that integrates
case-based reasoning with rules. For more information write to Esteem
Software Inc., 302 E. Main, Cambridge City, IN 47327, call
317-478-3955, or fax [phone].

EXSYS runs under MS-DOS, MS-Windows, Apple Macintosh, Sun Open Look,
Unix and Vax. It supports backward and forward chaining, linear
programming, fuzzy logic, neural networks, and has a SQL interface.
For more information, write to Exsys, Inc., 1720 Louisiana
Boulevard, NE, Suite 312, Albuquerque, NM 87110, call 800-676-8356
(505-256-8356), or fax [phone]. See also PC Tech Journal
7(1):115, January, 1989. A demo version for MS-Windows or Macintosh is
available for $40. [6/93]

FLEX is a hybrid expert system toolkit available across a wide range of
different hardware platforms which offers frames, procedures and rules
integrated within a logic programming environment.  FLEX supports
interleaved forward and backward chaining, multiple inheritance,
procedural attachment, an automatic question and answer system.  Rules,
frames and questions are described in a English-like Knowledge
Specification Language (KSL) which enables the development of easy-to-read
and easy-to-maintain knowledge bases.  FLEX is implemented in, and has
access to, Prolog. FLEX is available from LPA (who originally developed
flex on the PC), and also from most major Prolog vendors under license,
including Quintus, BIM, Interface, and ISL.  FLEX has been used in
numerous commercial expert systems, and prices on a PC running Windows or
on a Macintosh start at around $1,000.  [A review of Quintus-flex is
expected in an upcoming issue of PC-AI. --mk] For more information contact:
Logic Programming Associates Ltd, Studio 4, R.V.P.B., Trinity Road,
London, SW18 3SX.  Tel: [phone]; Fax: [phone].
Email: [e-mail]. In the US call 800-949-7567.

Foundation Technologies sells expert system products and services for
financial applications, such as pension management. For more
information write to Foundation Technologies Inc., One Kendall Square,
Cambridge, MA 02139, call 617-720-2760, or fax [phone].

G2 is a real-time expert system shell that runs on workstations and
personal computers. It has real-time temporal reasoning, with rules,
procedures, and functions built around an object-oriented paradigm.
One can interface, both locally and over a network (TCP/IP and
DECnet), to other programs (C and ADA), control systems, and
databases.  G2 provides distributed computing and a multi-user
client/server architecture.  For more information, write to Gensym
Corporation, 125 Cambridge Park Drive, Cambridge, MA 02140, call
617-547-2500/9606, fax [phone], or send email to
[e-mail] (Amber S. Driesman, Manager of Customer Support).
The G2 mailing list (for customers only) is [e-mail].

GBB, generic blackboard framework: provides:
 -- A high-performance blackboard database compiler and
      runtime library, which support pattern-based, multidimensional
      range-searching algorithms for efficient proximity-based retrieval
      of blackboard objects
 -- KS representation languages
 -- Generic control shells and agenda-management utilities
 -- Interactive, graphic displays for monitoring and examining
    blackboard and control components
These components provide the infrastructure needed to build
blackboard-based applications.    GBB is available for DOS/Windows, Mac,
Unix workstations (Sun, HP/Apollo, IBM, DEC, Silicon Graphics),
Symbolics and TI Explorer Lisp machines.  (GBB is a significantly enhanced,
commercial version of the UMass GBB research framework, available via
FTP from ftp.cs.umass.edu:/gbb/.) NetGBB, distributed extension to
GBB, provides to GBB the communication and coordination facilities
needed to build heterogenous distributed blackboard applications.
For more information write to Blackboard Technology Group, Inc., 401 Main
Street, Amherst, MA  01002, call 413-256-8990, or fax [phone]. To
be added to the mailing lists, send mail to [e-mail].
There are two mailing lists, gbb-user (moderated) and gbb-users (unmoderated).

GOLDWORKS III. For more information, write to Gold Hill Computers, Inc.,
26 Landsdowne Street, Cambridge, MA 02139, call 800-242-5477
(617-621-3300), or fax [phone].

GURU is an expert system development environment and RDBMS that offers a
wide variety of information processing tools combined with
knowledge-based capabilities such as forward chaining, backward
chaining, mixed chaining, multi-value variables, and fuzzy reasoning.
For more information about GURU and the other database engines,
development tools, and services offered by Micro Data Base Systems,
please write to Micro Data Base Systems, Inc., 1305 Cumberland Avenue,
P.O. Box 2438, West Lafayette, IN 47906-0438, call 800-445-MDBS/6327
(317-463-7200), fax [phone], or send email to [e-mail].

HUGIN System is a software package for construction of model based expert
systems in domains characterized by inherent uncertainty. The Hugin System
contains an easy to use probability based deduction system, applicable to
complex networks with cause-effect causal relations subject to uncertainty.
The Hugin System presents a novel development. The implementation is based
on an improvement of the award winning work by Lauritzen and Spiegelhalter:
Local Computation with Probabilities on Graphical Structures and their
Application to Expert Systems. The Hugin Demonstration, for
Sun Workstations and PC-Windows, is available for anonymous ftp from
   hugin.dk:/pub/README [130.225.63.15]
The WWW home page for HUGIN is accessible by the URL
   http://hugin.dk/
For more information write to Hugin Expert A/S, Niels Jernes Vej 10,
DK-9220 Aalborg O, Phone [phone], Fax: [phone], Email:
[e-mail].

Icarus is an expert systems development tool for PCs. It includes
links to Lotus and dBASE files, forward and backward chaining, and
Bayesian confidence factors. For more information, write to Icarus,
11300 Rockville Pike, Rockville, MD 02852-3088, call 301-881-9350, or
fax [phone].

ILOG RULES is a high performance embeddable rule-based inference
engine. It is a forward chaining tool, written in C++ (hence it is
object-oriented and supports inheritance mechanisms) and is also
provided as a C++ library. It runs virtually on any Unix platform
(e.g., HP97X0, Sun4, RS/6000, DecStations) as well as on PCs running
DOS (with or without MS/Windows) or OS/2.  It extends OPS/5 with
nested premises (objects as values), rule packets (logical grouping of
rules), a full Truth Maintenance System (TMS) for efficient
non-monotonic reasoning, compilation of rules into C/C++ code, and an
object oriented data-model in C++. ILOG RULES work directly on user
objects, so interfacing is straightforward. C/C++ code may be included
in rule conditions and actions.  ILOG RULES is based on the fast XRETE
implementation of the RETE algorithm developed by Thomson-CSF.  For
more information, contact ILOG, Inc., 2073 Landings Drive, Mountain
View, CA 94043, tel [phone], fax [phone], e-mail
[e-mail].  European customers should contact ILOG SA, 2, av.
Gallieni, BP 85, 94253 Gentilly CEDEX, France, tel +33 (1)
46-63-66-66, fax [phone], e-mail [e-mail].

INTELLIGENCE COMPILER.  For more information, write to Intelligence
Ware 9800 S. Sepulveda Blvd.  Los Angeles, CA 90045-5228 call
213-417-8896, or fax [phone].

KDS is a case-based system that produces rules from cases. For more
information, write to KDS Corporation, 934 Cornell Street, Wilmeete, IL
60091-1405, call 708-251-2621, or fax [phone].

KEE, ProKappa, and Kappa are expert system development packages that run
on personal computers, workstations, and Lisp machines. Features include
ATM, rule-based reasoning, and OOP support.  For more information, write
to IntelliCorp, Inc., 1975 El Camino Real West, Suite 101, Mountain View, CA
94040-2216, call 415-965-5700/5500 or fax [phone]. In Europe call
[phone].  See also CACM 31(4):382-401, April, 1988.

KES and SNAP run on personal computers (KES $4,000), workstations (KES
$10,000, SNAP $40,000 on most platforms), minicomputers (KES $25,000),
IBM mainframes (KES $60,000). Although KES can be purchased
separately, it is part of SNAP. For more information write to Software
Architecture and Engineering, Inc., 1600 Wilson Boulevard, Suite 500,
Arlington, VA 22209, call 703-276-7910, or fax [phone].  Write to
Template Software, 13100 Worldgate Drive, Suite 340, Herndon, Virginia
22070, call 703-318-1000, or fax [phone].

Knowledge Craft is an expert-system development toolkit for
scheduling, design, and configuration applications. For more
information, write to Carnegie Group, 5 PPG Place, Pittsburgh, PA
15222, call 800-284-3424 (412-642-6900), or fax [phone].

KnowledgeWorks from Harlequin runs on a variety of Unix platforms,
including Sun Sparc and clones (SunOS and Solaris), IBM RS/6000 (AIX),
DEC MIPS (Ultrix), DEC Alpha (OSF/1), HP PA (HP-UX), and SGI (IRIX).
It includes a CLOS-based object system, OPS compatible forward chainer
(2500 firings/sec on a Sparc2), Prolog compatible backward chainer
(40 KLIPS), graphical programming environment, user-defined conflict
resolution, MetaRule Protocol for extending execution model, and a
SQL interface for relational databases.  For further information,
contact by e-mail worldwide:
   [e-mail] (OR @harlequin.co.uk)
or in the US:
   FAX:   [phone]
   Voice: 800-WORKS-4-YOU (800-967-5749) or 617-374-2400 or 617-252-0052
   Mail:  Harlequin Inc., One Cambridge Center, Cambridge, MA 02142
or in Europe:
   FAX:   [phone] (OR 44-1223-872-519 from outside UK)
   Voice: 0223-873-800 OR -872-522 (OR 44-1223-873-800 from outside UK)
   Telex: 818440 harlqn g
   Mail:  Harlequin Ltd., Barrington Hall, Barrington, Cambridge, CB2 5RG
Harlequin also sells LispWorks (a Common Lisp and Prolog programming
environment described in part 4 of the Lisp FAQ), MLWorks (an ML
programming environment), and Watson (an intelligence analysis tool).

K-Vision is a knowledge acquisition and visualization tool. It runs on
Windows, DOS, and UNIX workstations. For more information write to
Ginesys Corporation, 1200 Woodruff Road, Suite C-9, Greenville, SC
29607-5731, call 800-277-8338 (803-288-8338), or fax [phone].

Laser. For more information, write to Bell Atlantic Knowledge Systems,
Inc., P.O. Box 3528, Princeton, NJ 08543-3528, or call 800-552-2257
(609-275-8393).

LEVEL5 OBJECT for Microsoft Windows runs on an IBM PC compatible
computer using Windows 3.1 or above. LEVEL5 OBJECT is a robust
object-oriented application development system with a tunable inference
engine product.  For more information, write to Information Builders,
503 Fifth Avenue, Indialantic, FL 32903, call 800-444-4303
(407-729-9046), fax [phone], or email to [e-mail],
[e-mail], or [e-mail]. Their Web server is located at the URL
   http://www.l5r.com/level5.html
For Customer Support call 407-984-8705.

M.4 runs on personal computers (DOS, Windows) and sells for $995.
M.4 is also available as embeddable libraries for Sun SPARCstations
for $2,495 and as embeddable libraries for Macintosh System 7 for
$995.  It features a modular Kernel library that can be linked into
C-language applications, backward and forward chaining, pattern
matching, certainty factors, procedural control, and an object-oriented
representation.  M.4 is embeddable, configurable, and extendable and is
provided as libraries, a custom control (VBX), and as a DDE Server.  For
more information, write to Teknowledge Corporation (formerly Cimflex
Teknowledge Corporation), 1810 Embarcadero Road, Palo Alto, CA 94303,
or call 800-285-0500 (415-424-0500), fax [phone].

MEM-1 is a Lisp-based language that aids in the development of
Case-Based Reasoning systems; provides facilities to define case
structures, create cases, divide cases into sub-cases, weigh case
attributes, define indexing schemes and similarity functions, adapt
solutions and define procedural adaptation rules. Runs on Windows, DOS,
Sun, DECStation, RS/6000, and Macintosh. Price: $199 ($50 for
educational institutions). For more information, write to CECASE, 2291
Irving Hill Drive, Lawrence, KS 66045, call 913-864-4896, fax
913-864-7789, or send email to [e-mail]

MUSE. For more information, write to Cambridge Consultants, Science
Park, Milton Road, Cambridge CB4 4DW, England, or call
0223-420024 Cambridge.

NEXPERT OBJECT runs on over 30 platforms supported including personal
computers ($5000), Macintosh ($5000), workstations ($12,000),
minicomputers, and mainframes. Nexpert Object is written in C, and
includes a graphical user interface, knowledge acquisition tools, and
forms system. For more information, write to Neuron Data, 156
University Avenue, Palo Alto, CA 94301, call 800-876-4900
(415-321-4488), or fax [phone]. Other offices include New York,
212-832-8900; Philadelphia, 215-941-2981; Washington, DC,
703-821-8800; Los Angeles, 714-851-4621; Chicago, 708-955-3688;
Houston, 713-739-9020; United Kingdom, 44-71-408-2333, fax
44-71-495-6274; France, 33-1-40-70-04-21, fax [phone]; and
Japan, 81-3-3746-4371, fax [phone].  See also IEEE Software
5(5):98, September, 1988, PC Tech Journal 6(11):112, November, 1988,
MacUser 4(12):134, December, 1988, MacUser 4(9):136, September, 1989,
Computer Language 6(12):123, December, 1989, PC Week 7(26):43, July 2,
1990, MacWeek 4(25):10, July 10, 1990, and IEEE Expert December, 1991,
page 72. [This entry is a bit out of date. Nexpert Object is now part
of a larger product called "Smart Elements", which includes Open
Interface 2.0 -- an object-oriented GUI developer -- in addition to
Nexpert Object 3.0. Any Neuron Data folks out there want to redo this entry?]

Object Management Workbench* (OMW) is the first object-oriented
analysis and design tool which incorporates directly executable
diagrams and business rules.  OMW works with Kappa(, an integrated,
visual programming environment for developing client/server
applications.  Kappa applications are developed on Unix and can be
delivered on either Unix or MS Windows.  With Kappa CommManager*, an
object request broker, customers can distribute Kappa applications,
including program logic, across Unix, MS Windows and MVS.  Kappa-PC(
is IntelliCorps' integrated MS Windows-based programming environment
for departmental developers. For more information, write to
IntelliCorp, Inc., 1975 El Camino Real West, Mountain View, CA
94040-2216, call 415-965-5700 or fax [phone]. In Europe call
[phone].  See also CACM 31(4):382-401, April, 1988.

OPS83 was developed by the developers of OPS5 as a successor to OPS5.
OPS83 is written in C, and OPS83 rule bases can be embedded in C
programs.  OPS83 was the first OPS-like language to provide this
integration of rule bases with C.  OPS83 supports Generalized Forward
Chaining (GFC), a new control structure that permits rules to be more
expressive; one GFC rule can replace several conventional flat rules.
(Details and examples are available on request.)  The current version
of OPS83 uses the proprietary Rete II algorithm to enable it to handle
large, complex rule sets efficiently.  A multi-windowed,
point-and-click development environment called the OPS83 Workbench is
offered.  OPS83 is available for DOS, OS/2, UNIX, VMS, and some
proprietary operating systems.  For information, write Production
Systems Technologies, Inc., 5001 Baum Blvd., Pittsburgh, PA 15213,
call 412-683-4000, or fax [phone].

Personal Consultant Plus. For more information, write to Texas Instruments
PO Box 2909, MS/2240, Austin, TX 78769, or call 800-527-3500.

PowerSMARTS (multimedia rule-based logic), DataSMARTS (database mining),
NeuroSMARTS (neural net) for Macintosh or PC Windows.  Costs range from
$495 to $4995.  Cognition Technology Corporation, 1000 Massachusetts Ave,
Cambridge, MA 02138, 617-492-0246, FAX [phone], Internet [e-mail]

RAL (Rule-extended Algorithmic Language) is a high-performance C-based
expert systems tool.  It was designed to permit seamless integration
of rules and objects into C programs.  RAL is a superset of C.  RAL
rules can operate directly on the data types used by the C code in
your application.  RAL "understands" C type declarations, function
prototypes, #define constants, etc.  C expressions, statements,
macros, function calls, etc. can be embedded directly in the rules.
RAL has an open architecture that permits it to be used with any GUI
builder, data base library, or other library that can be used with C.
No bridges are required.  For efficiency, RAL rules are compiled into
C code.  Charles Forgy, the inventor of Rete, has developed a more
efficient match algorithm called Rete II for RAL.  (Benchmark results
are available on request.)  A special version of the language, called
RAL/RT, adds the features that are required for real-time expert
systems.  RAL and RAL/RT have a multi-windowed, point-and-click
development environment called the RAL Workbench.  RAL and RAL/RT are
available for DOS, MS Windows, OS/2, and UNIX.  License fees for
development systems are available on request.  There are no run-time
fees charged for distributing applications developed using RAL.  For
information, write Production Systems Technologies, Inc., 5001 Baum
Blvd., Pittsburgh, PA 15213, call 412-683-4000, or fax [phone].

ReMind. ReMind is a case-based reasoning tool. For more information,
write to Cognitive Systems Inc., 880 Canal Street, Stamford, CT 06907,
call 203-356-7756, or fax [phone].

Rete++ supports both forward and backward chaining.  With Rete++ the
programmer can develop object hierarchies and instantiate, manipulate,
and access them using either C++, the standard rule-based syntax, or
C.  Asserting and modifying the data that is considered by rules is
done by creating a C++ instance and performing assignments to and
accessing the member data of the instance.  Rete++ automatically
generates C++ class taxonomies.  The C++ components of Rete++
applications use these generated classes directly or further subclass
them as needed.  The Rete++ inference engine automatically considers
any instances of a generated class (or its subclasses) in the matching
of rule conditions.  C++ data types provided by Rete++ allow more
flexible representation and automatic reasoning using standard C++
syntax without extraneous function calls.  Rete++ automatically
monitors changes to C++ objects without requiring programmers to
explicitly code function calls.  Rete++ is provided as a C++ class
library.  As such, it may be linked as part of your C++ application.
You may completely embed Rete++, with or without its graphical
development environment.  Modules for developing Case Based Reasoning
and integration with databases are available for Rete++ applications.
Rete++ integrates a dependency based Truth Maintenance System to
preserve logically sound and complete reasoning in spite of
non-monotonicity.  Multiple rulesets and agendas support modular
development and cooperating expert systems. Rete++ has an advanced
browser for rule based programming. The Rete++ windowing development
environment monitors the knowledge base with multiple views that are
all updated in real-time, allowing for debugging, browsing, the
monitoring and setting of break points, and the tracing of rules,
facts and goals.  Rete++ 16 bit Windows Toolkit costs $999, Rete++ 32
bit Windows Toolkit costs $1,999, Rete++ OS/2 Toolkit costs $1,999,
and Rete++ UNIX X/Motif Toolkit costs $2,999.  UNIX Versions available
for Sun OS, Sun Solaris, HP UX, Data General, AIX.  For more
information write to The Haley Enterprise, Inc. 413 Orchard St.,
Sewickley, PA 15143, call 800-233-2622 (412-741-6420 or 412-967-1100), fax
412-741-6457, or send email to [e-mail].

RT/Expert is an expert system development package integrated into the
SystemBuild development environment that runs on PCs, UNIX, and VMS
systems. For more information, write to Integrated Systems Inc., 3260
Jay Street, Santa Clara, CA 95054, call 408-980-1500, or fax [phone].

RTworks is a family of independent software modules developed for
intelligent real-time data acquisition and monitoring, data analysis,
message/data distribution, and message/data display. RTworks offers a
number of sophisticated problem-solving strategies including
knowledge-based systems, a point-and-click graphical user interface,
temporal and statistical reasoning, and the ability to distribute an
application over a heterogeneous network.  Included with RTworks is a
high-speed inference engine (RTie) which is used to analyze the data
using objects, classes, procedures, and rules. The IE can perform
trending, prediction and temporal reasoning of rapidly changing data.
Displays can be built by non-programmers using a user-friendly DRAW
program.  More than 60 different formats are provided for displaying
input data including strip charts, bar charts, control charts, dials,
pie charts, and high-low graphs.  Graphical objects can be tied to
variables which dynamically control attributes such as color, scale,
rotation, motion, animation, and more.  RTworks runs in a
client-server architecture in which the RTserver process intelligently
distributes the application's messages and data to only the client
prcoesses which need them. User-defined client processes can connect
to the RTserver and send and receive messages with other processes in
the application. Possible applications include process control,
network monitoring, financial trading, and command and control.
RTworks is available on a variety of Unix and VMS platforms under a
floating license in which you pay only for the number of simultaneous
users, and the software is not node-locked to a particular machine.
Current RTworks customers include Lockheed, NASA, Dow Chemical, PG&E
(Pacific, Gas, and Electric), SWIFT, Mazda, and NTT. For further
information, write to Talarian Corporation, 444 Castro Street, Suite
140, Moutain View, CA 94041, call 415-965-8050, fax [phone], or
send E-mail to [e-mail] or [e-mail].

SMECI is an expert system shell based on Lisp. For more information,
contact ILOG, Inc., 2073 Landings Drive, Mountain View, CA 94043, tel
415-390-9000, fax [phone], email [e-mail].  European
customers should write to ILOG, 2, av. Gallieni, BP 85, 94253 Gentilly
Cedex, France, tel [phone], fax [phone], email
[e-mail].

Sophos. For more information, write to Cognisys Consultants Inc., 7355
Trans Canada Highway, Suite 210, Saint-Laurent, Quebec, CANADA H4T
1T3, call 514-856-2311, or fax [phone].

STATUTE Corporate V3.0 for Windows. Includes facilities for automatic
document generation. Interfaces for Visual Basic, C, C++, and
applications that can link to DLLs. Phone: [phone] (616-242-1982).
Fax: [phone] (616-242-1948).

TestBench, Shell is available from the Carnegie Group, Pittsburgh,
Pennsylvania.  The development environment runs on the SUN
workstations and the production environment on a number of platforms
including PCs and NeXT machines. For more information, write to
Carnegie Group, 5 PPG Place, Pittsburgh, PA 15222, call 800-284-3424
(412-642-6900), or fax [phone].

VBXpert is a VBX custom control that uses the Rete Algorithm to add
expertise to Visual Basic applications.  VBXpert extends Visual Basic
to support rule-based knowledge-based systems development by encapsulating
the Rete Algorithm within a VBX custom control.  It is a true custom
control with Visual Basic property and event editing support and provides
convenient properties that can be accessed and set by VB code to control
embedded reasoning.  VBXpert also provides: inference engine events that
execute code you enter using the Visual Basic editor; a general-purpose
"Callback" event to call Visual Basic from the actions of rules; efficient
processing, even for a thousand if-then rules; automatic subgoaling and
logical deduction; automatic retraction of invalid or outdated conclusions;
Visual Basic declarations for Eclipse DLLs; supports Visual Basic's ANY
and Variant data types; supports multiple concurrent Visual Basic apps;
includes Eclipse DLLs and executable; includes C source code for the VBX;
VBXpert for Windows $99 (price shown is for domestic check, VISA,
MasterCard, and American Express orders only.) The Haley Enterprise, Inc.
413 Orchard St., Sewickley, PA 15143-2029 [phone], 412-741-6420,
[e-mail].

Visual Expert is a GUI-based expert system development tool for Windows.
For more information, write to SoftSell Technologies, 16150 NE 85th
Avenue, Suite 224, Redmond, WA 98052, call 206-556-1436, or fax [phone].

VP-EXPERT version 3.1 runs on the IBM PC under DOS. It costs $349.  A
student version of the product is available for around $40. The
student version is fully functional but limited to 16k in the total
size of the system. For more information, write to Wordtech Systems
Inc., PO Box 1747, Orinda, CA 94563, call 510-689-1200, or fax
510-689-1263.  See also MacUser 4(12):134, December, 1988.

XpertRule for Windows represents knowledge as a decision tree, a table
of decision examples, or a set of pattern rules. It can produce C or
COBOL code. For more information, write to Attar Software USA, PO
Box 68, Harvard, MA 01451-0068, call 508-456-3946, or fax [phone].
European customers should write to Attar Software Limited, Newlands
House, Leigh, Lancashire, UK WN7 4HN.

XpertRule is a knowledge capture and representation tool for Windows.
It includes data mining and genetic algorithms tools and can produce
C, COBOL, and Pascal code. For more information, write to Cincom
Systems Inc., 2300 Montana Avenue, Cincinnati, OH 45211, call
800-543-3010, or fax [phone].

YAPS is a tool for building expert systems and other programs that use
a rule-based knowledge representation in Lisp. The YAPS library
provides a CLOS class and appropriate methods which the programmer may
mix into his/her own classes or use directly.  Rules and facts about
an instance are associated with the instance.  Instead of one large
knowledgebase with many rules which are hard to debug and maintain,
the programmer creates smaller knowledge-bases which are modular and
more efficient.  The YAPS knowledge-bases can interact with and be
controlled by the programmer's other modules, making hybrid systems
straightforward.  Introduced by Liz Allen at AAAI-83, YAPS is now
available on Apple Macintosh, Sun3 and Sun4 (SPARC), DEC VAX under VMS
and Ultrix, and 88Open platforms. On workstations, a single license
costs $3995 and on the Macintosh (under Macintoch Common Lisp), it is
$445. YAPS runs in most commercial Common Lisps including Allegro CL,
Harlequin LispWorks, Lucid CL, IBUKI CL, and Macintosh Common Lisp.
YAPS is also available for the TI Explorer and Symbolic Lisp Machines,
and a Flavors version is available for Sun3 in Franz Lisp.  Other
ports are underway -- for price and availability contact College Park
Software at 461 W. Loma Alta Dr., Altadena, CA 91001-3841, USA; or by
email at [e-mail], or call 818-791-9153 (voice) or
818-791-1755 (FAX).

----------------------------------------------------------------
Subject: [1-7] Associations

INTERNATIONAL ASSOCIATION OF KNOWLEDGE ENGINEERS (IAKE)
IAKE, 973-D Russell Avenue, Gaithersburg, MD 20879-3276.
301-948-5390, fax [phone]. Email: [e-mail]
$65 regular ($110 2-year), $30 students in US/Canada.
Add $10/year for Carribean, Central America, Mexico.
Add $25/year for Europe, North Africa, South America.
Add $30/year for Asia, USSR, Central and South Africa, Australia, and
New Zealand.

----------------------------------------------------------------
Subject: [1-A] Acknowledgements

This FAQ was originally based on posts by Jason Trenouth
<[e-mail]>, George Betzos <[e-mail]>, and
Foxvog Douglas <[e-mail]>, as well as parts of the
commercial products section of the AI FAQ.  Thanks also to Arnold
Bloemer <[e-mail]>, Hans Voss, Stephan Weber, Tom
Laffey, [e-mail], Hal Waters, Philip Vanneste, Daniel
Corkill, Bruce Chih-Lung Lin, Willem Van Dyk, Kan-Lee Liou, Les
Degroff, Alex Kean, Bob Orchard, Steve Witt, Cameron Laird, Thomas A.
Russ, Peter Pavek, Ingemar Hulthage, Jerry Franke, Julian Smart,
Andrew Verden, Remi Lissajoux, Patrick Albert, Patrick Suel, Liz
Allen. Thanks to Richard Fozzard for information about MIKE and ES.

----------------------------------------------------------------
Subject: [1-8] Glossary

Expert System Shell     A shell is a program that facilitates the
                        development of expert systems.

----------------------------------------------------------------
;;; *EOF*